/*
 * pwd.c
 *
 *  Created on: 2021年11月2日
 *      Author: ThinkPad
 */

#include "type.h"
#include "stdio.h"

int main(int argc, char * argv[])
{
	printf("/\n");
	return 0;
}


